منابع مشابه
A Hierarchy of Partial Order Temporal Properties
We propose a classification of partial order temporal properties into a hierarchy, which is a generalization of the safety-progress hierarchy of Chang, Manna and Pnueli. The classes of the hierarchy are characterized through three views: language-theoretic, topological and temporal. Instead of the domain of strings, we take the domain of Mazurkiewicz traces as a basis for our considerations. Fo...
متن کاملA Monitoring Metric First-order Temporal Properties
Runtime monitoring is a general approach to verifying system properties at runtime by comparing system events against a specification formalizing which event sequences are allowed. We present a runtime monitoring algorithm for a safety fragment of metric first-order temporal logic that overcomes the limitations of prior monitoring algorithms with respect to the expressiveness of their property ...
متن کاملON AN INDEPENDENT RESULT USING ORDER STATISTICS AND THEIR CONCOMITANT
Let X1;X2;...;Xn have a jointly multivariate exchangeable normal distribution. In this work we investigate another proof of the independence of X and S2 using order statistics. We also assume that (Xi ; Yi); i =1; 2;...; n; jointly distributed in bivariate normal and establish the independence of the mean and the variance of concomitants of order statistics.
متن کاملRuntime Monitoring of Metric First-order Temporal Properties
We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first-order temporal logic that is considerably more expressive than the logics supported by prior monitoring methods. Our approach, based on automatic structures, allows the unrestricted use of negation, universal and existential qu...
متن کاملMonitoring of Temporal First-Order Properties with Aggregations
In system monitoring, one is often interested in checking properties of aggregated data. Current policy monitoring approaches are limited in the kinds of aggregations they handle. To rectify this, we extend an expressive language, metric first-order temporal logic, with aggregation operators. Our extension is inspired by the aggregation operators common in database query languages like SQL. We ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2004
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/14.2.277